$\forall$$T$:Type, $f$:($T$$\rightarrow$$T$), $x$, $y$:$T$. $y$ = $f$+($x$) $\in$ $\mathbb{P}$